program proof

程序证明

热门查询

adulterer　　n. 奸夫；通奸者（尤指男人）
want　　n. 需要；缺乏；贫困；必需品 vt. 需要；希望；应该；缺少 vi. 需要；缺少
painstakingly　　adv. 煞费苦心地；费力地
fast　　n. 斋戒；绝食 adj. 快速的，迅速的；紧的，稳固的 adv. 迅速地；紧紧地；彻底地 vi. 禁食，斋戒 n. (Fast)人名；(德、英、俄、芬、捷、瑞典)法斯特
Waldron　　[人名] [英格兰人姓氏] 沃尔德伦来源于日耳曼语人名，含义是“异乡人+渡鸦”(foreigner+raven); [人名] [英格兰人姓氏] 沃尔德伦住所名称，来源于古英语，含义是“森林+住房”(forest+house,dwelling); [地名] [加拿大、美国] 沃尔德伦
inspection　　n. 视察，检查
disadvantaged　　n. 弱势团体；不利条件 adj. 贫困的；处于不利地位的；社会地位低下的 v. 使处于不利地位（disadvantage的过去式和过去分词）
digress　　vi. 离题；走向岔道
disputable　　adj. 有讨论余地的；真假可疑的
antennae　　n. [电讯] 天线（等于aerial）；[昆] 触须；[植] 蕊喙；直觉
dibble　　n. 挖洞器 v. 挖洞，使用挖洞器播种
induced　　v. 引诱；说服（induce的过去分词） adj. 感应的；诱发型
incommensurability　　n. 无从比较；不能通约
electrify　　vt. 使电气化；使充电；使触电；使激动
Smyth　　史密斯(姓氏)
suffer　　vi. 遭受，忍受；受痛苦；经验；受损害 vt. 遭受；忍受；经历 n. (Suffer)人名；(意)苏费尔
surmountable　　adj. 可克服的；可超越的，可战胜的
generalist　　n. （有多方面知识和经验的）通才；多面手
frothing　　n. 起泡；起沫 adj. 充满泡沫的 v. 使起泡沫；以泡沫覆盖；发泄（froth的ing形式）
bolide　　n. [天] 火流星，火球 n. (Bolide)人名；(法)博利德